量子位
05-10 07:08
谷歌「AI联合数学家」来了！刷新最难数学AI基准SOTA，牛津教授用它解开群论悬案
📌 一句话：谷歌发布AI数学助手刷新基准测试纪录，牛津教授用它证明了50年未解的群论难题。
💡 3个要点
刷新最难基准：新AI系统在数学推理基准上登顶SOTA，能证明复杂数学定理
解决悬案：牛津教授借助该AI证明了长期未解的群论问题，填补理论空白
协作新范式：强调"AI+数学家"模式，AI提供计算探索，人类把关证明方向
📖 背景
数学AI一直是验证通用推理能力的重要标尺。此次谷歌发布的系统不仅能做计算，更能进行数学推演，标志着AI从"计算器"进化为"推理助手"。
💭 点评
这不仅是技术突破，更是研究范式的转变。群论悬案的破解说明AI与人类专家的协作能够触及单靠任何一方都难以企及的领域。但必须清醒：AI扮演的是"超级助理"而非"替代者"，真正推动数学进步的永远是人类对未知的直觉与坚持。
📖 原文链接
点击阅读原文 →